def dint():
    return int()
